The following has been proved by Bernhard Neumann and Angus Macintyre: A finitely presented group has solvable word problem if and only if it can be embedded in every algebraically closed group What is remarkable about this is that the algebraically closed groups are so wild that none of them has a recursive presentation. Le résultat suivant a été démontré par Bernhard Neumann et Angus Macintyre: Un groupe finiment présenté a un problème du mot résoluble si et seulement s'il peut être plongé dans tout groupe algébriquement clos (en).